отношение вынуждения

См. также в других словарях:

• ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …   Математическая энциклопедия

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

• КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м …   Математическая энциклопедия

• Диалогичность речи письменной — – это выражение в тексте средствами языка взаимодействия общающихся, понимаемого как соотношение смысловых позиций, как учет реакций адресата (в том числе второго Я), а также эксплицирование в тексте признаков собственно диалога. При этом понятие …   Стилистический энциклопедический словарь русского языка

• Выкуп — в прямом смысле слова обратная купля проданного или вообще отчужденного имущества понятие, соответствующее немецкому Wiederkauf. Распространяя, однако, это понятие, юристы говорят о выкупе не только проданных, но и заложенных имуществ, когда… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой …   Математическая энциклопедия

• Крескас, Хасдай — Хасдай бен Иегуда Крескас ивр. חסדאי קרשקש‎, исп. Hasdai Crescas, кат. Hasdai Cresques Дата рождения: 1340 (?) Место рождения: Барселона Дата смерти: 1410 (1411?) …   Википедия

• Лампа накаливания — общего назначения (230 В, 60 Вт, 720 лм, цоколь E27, габаритная высота ок. 110 мм Лампа накаливания  электрический источник св …   Википедия

• Тридцать шесть стратагем — (кит. трад. 三十六計, упр. 三十六计, пиньинь: sān shí liù jì)  древнекитайский военный трактат. В более широком смысле, собрание неявных стратегических приёмов и система непрямых тактических ходов, используемая для достижения скрытой цели, получения …   Википедия

• МОДЕЛЕЙ ТЕОРИЯ —     МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… …   Философская энциклопедия